#![allow(non_upper_case_globals, non_snake_case, dead_code, non_camel_case_types)]
#![no_main]
#![no_std]

use c::rtx_os::{osWaitForever, osStatus_t_osOK};



mod c;

pub mod kernel;
pub mod thread;
pub mod utils;
pub mod error;
pub mod message_queue;
pub mod event_flags;
pub mod mutex;
pub mod time;
pub mod priority_queue;

pub const OS_WAIT_FOREVER: u32 = osWaitForever;
pub const OS_OK: i32 = osStatus_t_osOK;











